Granica odwrotna (granica projektywna) – jedno z fundamentalnych pojęć teorii kategorii, wykorzystywane w wielu dziedzinach matematyki, na przykład w topologii czy algebrze. Pojęcie granicy odwrotnej, w nieco innej niż podana niżej wersji, pochodzi od Pawła Aleksandrowa[1]. Ogólna definicja pochodzi od Solomona Lefschetza[2][3].
- ↑ Aleksandrow, Paweł: Untersuchungen über Gestalt und lage abqeschlossener Menge beliebiqer Dimension. Ann. of Math., 30 (1929). s. 101–187.
- ↑ Lefschetz, Solomon: On compact spaces, Ann. of Math., 32 (1931). s. 521–538.
- ↑ Lefschetz, Solomon: Algebraic topology. American Mathematical Society Colloquium Publications, vol. 27. Nowy Jork, American Mathematical Society, 1942.